#ifndef BDDEQUE_H
#define BDDEQUE_H

#include <deque>
#define BDDeque std::deque

#endif